Plonk - Proof Generation And Verification